#!/bin/sh

${srcdir}/check.sh 3 2 iecdv25

